forwardchaining

forward-chaining вывод от фактов к цели